Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
761	High Performance Computation capabilities for Uncertainty Management in aeronautics - 28th Forum of ORAP, Paris Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2011-10-24 08:04:46 Science Decision theory Uncertainty analysis Uncertainty Decision making Statistics Measurement Knowledge
762	T H E R E Is N o S O F T W A R E K he Add to Reading List Source URL: raley.english.ucsb.edu Language: English - Date: 2012-09-09 19:33:36 Computability theory Turing machine Alan Turing Models of computation Algorithm Finite-state machine Computer Church–Turing thesis Computability Theoretical computer science Theory of computation Computer science
763	Theoretical Computer Science – 366 www.elsevier.com/locate/tcs Adapting innocent game models for the B#ohm tree -theory Andrew D. Ker, Hanno Nickau∗ , C.-H. Luke Ong Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-08-03 11:40:10 Mathematical logic Theory of computation Models of computation Formal methods Lambda calculus Computable function Determinacy Numbering Function Computability theory Mathematics Theoretical computer science
764	Introduction Introduction M.-P. B´ eal et. al. (IGM et al.) Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2008-10-27 12:41:40 Combinatorics Coding theory Discrete mathematics Combinatorics on words Models of computation Code Prefix code Alphabet Variable-length code Formal languages Automata theory Mathematics
765	CS109B Notes for LectureUnsolvable Problems Some problems have \ecient" solutions, i.e., Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:26 Theory of computation Computability theory Halting problem Reduction Undecidable problem Computable function Computability Function Algorithm Theoretical computer science Mathematics Applied mathematics
766	Power Computation for Testing the Difference Between Two Lognormal Means Consider two lognormal distributions: lognormal(µ1 , σ12 ) and lognormal(µ2 , σ22 ). The mean of the ith distribution is given by exp(ηi ), wh Add to Reading List Source URL: www.ucs.louisiana.edu Language: English - Date: 2003-02-01 15:36:52 Randomness Monte Carlo method Numerical analysis Probabilistic complexity theory Log-normal distribution Normal distribution Probability and statistics Statistics Mathematical analysis
767	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:28 Theoretical computer science Computability theory Turing machine Recursion Models of computation Lambda calculus Programming language Lisp Computability Software engineering Computing Computer programming
768	THE COMPLEXITY OF ANALOG COMPUTATION † Anastasios VERGIS Department of Computer Science, University of Minnesota, Minneapolis, MN 55455, U.S.A. Kenneth STEIGLITZ Department of Computer Science, Princeton University, Pr Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2001-11-25 03:18:59 Complexity classes Mathematical optimization Structural complexity theory Computability theory P versus NP problem NP-complete NP PP Analog computer Theoretical computer science Computational complexity theory Applied mathematics
769	DattaKuestersMitchellRamanathan-TCC-2005.dvi Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:20:50 Computing Cryptographic protocols Models of computation Universal composability Turing machine Security parameter Computational complexity theory Actor model Ciphertext indistinguishability Theoretical computer science Applied mathematics Cryptography
770	Fast and Precise Sanitizer Analysis with B EK Pieter Hooimeijer University of Virginia Benjamin Livshits Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-06-09 19:12:49 Models of computation Computer science Finite state transducer String Regular language Finite-state machine FO Deterministic finite automaton Automata theory Theoretical computer science Formal languages

UPDATE